Relational Obligations

The Infusion of Relational Market Obligations into the Austrian Agenda—Some Lessons Learned from Economic Sociology

Given its dictum of market equilibrium, economics in general obviously does poorly in shouldering market dynamics. Pervading obligatory traits of the market (other than mere dyadic contracting) is yet another area where not much attention is devoted. Whereas the Austrian agenda fills the first of these voids in a most sophisticated manner, its current discourse appears as oblivious concerning t...

Co-national Obligations & Cosmopolitan Obligations towards Foreigners

On Obligations

Access control is concerned with granting access to sensitive data based on conditions that relate to the past or present, so-called provisions. Expressing requirements from the domain of data protection necessitates extending this notion with conditions that relate to the future. Obligations, in this sense, are concerned with commitments of the involved parties. At the moment of granting acces...

Proof Obligations Preserving Compilation

The objective of this work is to study the interaction between program verification and program compilation, and to show that the proof that a source program meets its specification can be reused to show that the corresponding compiled program meets the same specification. More concretely, we introduce a core imperative language, and a bytecode language for a stack-based abstract machine, and a...

Uptake by Conditional Obligations

Dialogues are generated in a joint process of offering and accepting moves. Depending on the dialogue genre, there is usually one participant who takes the initiative; other participants respond to the initiative. In this paper, we further investigate the process of uptake [1, 4]. Essentially, an initiative is ambivalent. The way in which an initiative is ‘taken up’, allows the responder to mod...